../../lib/digseg_driver.v